翻訳と辞書 Words near each other ・ fork bomb ・ forked ・ form ・ form factor ・ form feed ・ form function ・ formac ・ formal ・ formal argument ・ formal description technique ・ formal methods ・ formal object role modeling language ・ formal review ・ format ・ format-fortran ・ formatting output specification instance ・ formes ・ forml ・ forms ・ formula Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク formal methods ： FOLDOC formal methods Mathematically based techniques for the specification, development and verification of software and hardware systems. Referentially transparent languages are amenable to symbolic manipulation allowing program transformation (e.g. changing a clear inefficient specification into an obscure but efficient program) and proof of correctness. {Oxford FM archive (http://comlab.ox.ac.uk/archive/formal-methods.html)}. (1996-05-15) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.